install (FILES builtin.verona DESTINATION stdlib)